Weobtainanoper-Ation~:fafb!f(ab).thissuggestsgeneralizingfromproductstootherbinarytypeconstructors published presentations and documents on DocSlides.